ma{-}interface{-}loc($I$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$i$ $\in$ dom($I$) $\wedge_{b}$ ($\neg_{b}$null(ma{-}interface{-}dom($I$;$i$)))